" Hans-JÃ¶rg Kreowski" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß

Категория: Математика, Геометрия и топология

19.73 Mb

#2

Dynamics in Logistics: Second International Conference, LDIC 2009

Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben

7.72 Mb

#3

Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

5.14 Mb

#4

Dynamics in logistics first international conference; proceedings

Hans-Dietrich Haasis, Hans-Dietrich Haasis, Hans-JÃ¶rg Kreowski, Bernd Scholz-Reiter

8.15 Mb

#5

Categorial Methods in Computer Science.. With Aspects from Topology 1988

Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß

Категория: CsLn_

3.16 Mb

#6

Formal Methods in Software and Systems Modeling

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Категория: CsLn_

4.30 Mb

#7

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

5.77 Mb

#8

Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg

6.40 Mb